Cliff B. Jones (auth.): tražiti na sajtu Z-Library

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024 O prikupljanju novca

Slobodan pristup znanju i kulturi.

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024

Z-Library je jednja od najvećih online biblioteka koja sadrži više od 17,000,000 knjiga i 84,837,000 članaka. Naš je cilj da literatura bude dostupna svakome. Danas (15. septembra 2024) smo započeli dodatno prikupljanje sredstava za podršku i razvoj projekta.

Takođe NEOGRANIČENA preuzimanja (na 31 dan od dana doniranja) biće dostupna SVIM korisnicima ko je fonirao tokom perioda prikupljanja sredstava do 1. oktobra 2024.

O prikupljanju novcaDetaljnije

Knjige (31)
Najpopularnije
Spisak
- Spisak
- Tabela

1

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Godina:

2006

Jezik:

english

Fajl:

PDF, 4.94 MB

0 / 0

english, 2006

2

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Springer-Verlag Berlin Heidelberg

Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)

Godina:

2005

Jezik:

english

Fajl:

PDF, 2.02 MB

0 / 0

english, 2005

3

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Springer-Verlag Berlin Heidelberg

Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)

Godina:

2005

Jezik:

english

Fajl:

PDF, 2.38 MB

0 / 0

english, 2005

4

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Godina:

2007

Jezik:

english

Fajl:

PDF, 4.29 MB

0 / 0

english, 2007

5

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Godina:

2007

Jezik:

english

Fajl:

PDF, 5.37 MB

0 / 0

english, 2007

6

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Godina:

2009

Jezik:

english

Fajl:

PDF, 5.29 MB

0 / 0

english, 2009

7

Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare

Springer-Verlag London

C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.)

Godina:

2010

Jezik:

english

Fajl:

PDF, 3.73 MB

0 / 0

english, 2010

8

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Godina:

2007

Jezik:

english

Fajl:

PDF, 6.60 MB

0 / 0

english, 2007

9

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Godina:

2007

Jezik:

english

Fajl:

PDF, 7.82 MB

0 / 0

english, 2007

10

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Springer-Verlag Berlin Heidelberg

Hermann Kopetz (auth.), Cliff B. Jones, John L. Lloyd (eds.)

Godina:

2011

Jezik:

english

Fajl:

PDF, 13.80 MB

0 / 5.0

english, 2011

11

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Godina:

2009

Jezik:

english

Fajl:

PDF, 7.62 MB

0 / 0

english, 2009

12

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Godina:

2009

Jezik:

english

Fajl:

PDF, 7.64 MB

0 / 0

english, 2009

13

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Godina:

1978

Jezik:

english

Fajl:

PDF, 14.97 MB

0 / 0

english, 1978

14

Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare

Springer-Verlag London

C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.)

Godina:

2010

Jezik:

english

Fajl:

PDF, 3.96 MB

0 / 0

english, 2010

15

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 5.19 MB

0 / 0

english, 2012

16

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Godina:

2009

Jezik:

english

Fajl:

PDF, 5.20 MB

0 / 0

english, 2009

17

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Godina:

2006

Jezik:

english

Fajl:

PDF, 4.60 MB

0 / 0

english, 2006

18

Object Orientation with Parallelism and Persistence

Object Orientation with Parallelism and Persistence

Steve J. Hodges, Cliff B. Jones (auth.), Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek (eds.)

Godina:

1996

Jezik:

english

Fajl:

PDF, 5.11 MB

0 / 0

english, 1996

19

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Godina:

1978

Jezik:

english

Fajl:

DJVU, 1.81 MB

0 / 0

english, 1978

20

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), Helen Treharne, Steve King, Martin Henson, Steve Schneider (eds.)

Godina:

2005

Jezik:

english

Fajl:

PDF, 6.90 MB

0 / 0

english, 2005

21

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

Godina:

1987

Jezik:

english

Fajl:

DJVU, 4.46 MB

0 / 0

english, 1987

22

Proof in VDM: Case Studies

Proof in VDM: Case Studies

Springer-Verlag London

John Fitzgerald, Cliff Jones (auth.), J. C. Bicarregui BSc, MSc, PhD (eds.)

Godina:

1998

Jezik:

english

Fajl:

PDF, 11.02 MB

0 / 0

english, 1998

23

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B Jones (auth.), Hanne Riis Nielson (eds.)

Godina:

1996

Jezik:

english

Fajl:

DJVU, 3.39 MB

0 / 0

english, 1996

24

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Springer-Verlag Berlin Heidelberg

Hermann Kopetz (auth.), Cliff B. Jones, John L. Lloyd (eds.)

Godina:

2011

Jezik:

english

Fajl:

PDF, 13.97 MB

0 / 0

english, 2011

25

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

Godina:

1987

Jezik:

english

Fajl:

PDF, 11.36 MB

0 / 0

english, 1987

26

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 7.74 MB

0 / 0

english, 2012

27

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

Springer-Verlag London

Mr Patrick O’Ferrall (auth.), Cliff B. Jones DPhil, Roger C. Shaw GIMA, MBCS, Tim Denvir MA, CEng, MIEE, MBCS (eds.)

Godina:

1992

Jezik:

english

Fajl:

PDF, 12.29 MB

0 / 0

english, 1992

28

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Godina:

1978

Jezik:

english

Fajl:

PDF, 14.98 MB

0 / 0

english, 1978

29

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B Jones (auth.), Hanne Riis Nielson (eds.)

Godina:

1996

Jezik:

english

Fajl:

PDF, 5.90 MB

0 / 0

english, 1996

30

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Springer-Verlag London

Cliff B Jones, Brian Randell (auth.), Denis Besnard, Cristina Gacek, Cliff B. Jones (eds.)

Godina:

2006

Jezik:

english

Fajl:

PDF, 1.67 MB

0 / 0

english, 2006

31

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Godina:

2007

Jezik:

english

Fajl:

PDF, 6.33 MB

0 / 0

english, 2007